COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input hsimp
C00004 00003	\def\sectionbegin#1{\hjust{\:=#1}
C00007 00004	\def\TITL #1{
C00011 ENDMK
C⊗;
\input hsimp
%\input hdr
%  The following are special commands for final IJCAI page output
\def\sectionskip{\penalty-60\vskip 3pt plus 2pt minus 1pt}
\hsize 8.3xgpin \vsize 10xgpin \maxdepth 2pt \parindent 0pt \topbaseline 10pt
\parskip 10pt plus 2pt minus 1pt \lineskip 0pt
\topskip 24pt plus 6pt minus 10pt  \botskip 3pt plus 6pt
\output{\baselineskip 0pt\lineskip0pt	% beginning of output routine, resets skips
	\vjust to 11xgpin{         % prepare the full page of this fixed height
		\vskip 24pt	% blank space in place of headlines
		\hjust{\hskip -0.95xgpin\page}		% insert the page contents
		\vfill		 % extra space before the page number
	}			% completion of the \vjust
	\advcount0}		% increase page number by 1 and end output routine
\jpar 500
\def\1{\:a}
\def\0{\:a\ }
\def\2{\:q}
\def\3{\:t}
\def\4{\:n}
\def\5{\:<}
\def\6{\:r}
\setcount0 0   % page no
\setcount4 0   % main section no (=chapter no)
\setcount5 0
\setcount8 854 % This 854 will show up quickly if there is a bug somewhere
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\han #1{\hangindent #10pt for 99 \noindent}
\def\sectionbegin#1{\hjust{\:=#1}
	\penalty 1000 \vskip 1pt
	\acpmark{\chd}{\csec}
	\noindent\ninepoint\!}
\def\subsectionbegin#1{\yyskip\noindent
	{\bf#1.}\ninepoint\xskip\!}
\def\dimsectionbegin#1{\yyskip
	\acpmark{\chd}{\csec}
	{\noindent{\:?#1.}\ninepoint\xskip\!}\par \yskip}
\def\minsectionbegin#1{\yyskip
	\acpmark{\chd}{\csec}
	{\noindent{\:<#1}\ninepoint\xskip\!}\par \yskip}
\def\asecbegin#1{\hjust{\:=Appendix #1}
	\penalty 1000 \vskip 5pt plus 2pt
	\acpmark{\chd}{\csec}
	\noindent\ninepoint\!}
\def\asusecb#1{\yyskip
	\acpmark{\chd}{\csec}
	{\noindent{\:=Appendix #1.}\ninepoint\xskip\!}\par \yskip}
\def\asssecbegin#1{\yyskip{\noindent
	{\:<Appendix #1.}\ninepoint\xskip\!}\par \yskip}
\def\GET #1{\input #1 \vfill}
\def\GGET #1{}
\def\BN{\setcount8 0}
\def\inbox#1{\vjust{\hrule\hjust{\vrule\hskip 2pt 
             \vjust{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}
\def\hh{\advcount8 {\6\count8 . }}
\setcount9 1
\def\foo #1{\advcount9  {\footnote {\unskip
               $↑{\count9}$\unskip}{#1}}}
\def\inv{\raise 2.1pt\hjust{\:d-1}}
\def\minv{{\scriptstyle{\raise 2.1pt\hjust{-1}}}}
\def\qq #1#2{\yskip \ninepoint 
             {\hangindent 11pt for 44 {\it \noindent #1}} \par
             {\ctrline{\sl --- \ #2\0}}\ninepoint \yskip}
\def\hs#1#2{\yyskip \inbox{\inbox{\hjust{{\5 #1 . #2}}}} \yskip}
\def\hinbox#1{#1}
% \def\hinbox#1{\inbox{\hjust{{ #1 }}}}
\def\bh{\ninepoint \parindent 0pt \parskip 1pt \yskip \sl}
\def\eh{\ninepoint \parindent 0pt \parskip 0pt \yskip \rm}
\def\TITL #1{
 \titlepage\ninepoint
 \runninglefthead{#1}
 \vfill
 \advcount8
 \runningrighthead{{ }} 
 \section{{ }}
 \eject
 \ctrline{\:;#1}
	\vskip 9pt plus 2pt
	\acpmark{\chd}{\csec}
	\noindent\ninepoint\!
}
\def\AUTHO #1{
 \ctrline{\:>#1}
 \vskip 3pt plus 1 pt
}
\def\NSECP #1{
 \titlepage\ninepoint
 \vskip 11pt plus 3pt minus 2pt
 \advcount4
 \gdef\grrh{#1}
 \runningrighthead{#1}
 \section{\count4}
 \sectionskip
 \sectionbegin{\count4. #1}
 \setcount5 0
 \setcount9 0
 }
\def\SSEC #1{
 \advcount5
 \setcount6 0
 \runningrighthead{\grrh}
 \section{\count4.\count5}
 \sectionskip  
 \minsectionbegin{\count4.\count5. #1}
 }
\def\SSSEC #1{   
 \advcount6
 \setcount7 0
 \runningrighthead{\grrh}
 \section{\count4.\count5.\count6}
 \sectionskip  
 \dimsectionbegin{\count4.\count5.\count6. #1}
 }
\def\ASEC #1{
 \titlepage\ninepoint
 \vskip 12pt plus 3pt minus 2pt
 \advcount4
 \gdef\grrh{#1}
 \runningrighthead{#1}
 \section{App. \count4 }
 \sectionskip
 \asecbegin{\count4. #1}
 \setcount5 0
 \setcount9 0
 }
\def\SSECP #1{
 \advcount5
 \setcount6 0
 \runningrighthead{\grrh}
 \section{\count4.\count5}
 \eject  
 \minsectionbegin{\count4.\count5. #1}
 }
\def\ASSEC #1{
 \advcount5
 \setcount6 0
 \runningrighthead{\grrh}
 \section{App. \count4.\count5}
 \sectionskip  
 \asusecb{\count4.\count5. #1}
 }
\def\ASSECP #1{
 \advcount5
 \setcount6 0
 \runningrighthead{\grrh}
 \section{App. \count4.\count5}
 \eject  
 \asusecb{\count4.\count5. #1}
 }
\def\ASSSEC #1{   
 \advcount6
 \setcount7 0
 \runningrighthead{\grrh}
 \section{App. \count4.\count5.\count6}
 \sectionskip  
 \asssecbegin{\count4.\count5.\count6. #1} 
 }
\def\NNSECP #1{ 	% no section no. printed; useful for, e.g., acknowledgements 
 \titlepage\ninepoint
 \vskip 9pt plus 3pt minus 1pt
 \advcount8
 \gdef\grrh{{}}
 \runningrighthead{{}}
 \section{{ }}
 \sectionskip
 \ctrline{\:=#1}
	\penalty 1000 \vskip 3pt
	\acpmark{\chd}{\csec}
	\noindent\ninepoint\!
 \setcount5 0
 \setcount9 0
 \par\vskip 2pt plus 1pt
 }